graving dock

from The American Heritage® Dictionary of the English Language, 5th Edition.

• noun A dry dock where the hulls of ships are repaired and maintained.

from The Century Dictionary.

• noun See dock.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

• noun a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline